<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
	<head>
		<title>SearchInTabs Options</title>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	</head>
	<script language='JavaScript' src='options.js'></script>



<body onload="restore_options()">
<div style="font-size: large; font-style: oblique; align: center; text-align: center">SearchInTabs options</div>
<div style ="border: dotted 1px grey; margin: 2px; padding: 2px;">

<div style ="border: dashed 1px grey; margin: 2px; padding: 2px;">
Highlight color:
<select id="color" onchange="set_changed()">
 <option value="red">red</option>
 <option value="blue">blue</option>
 <option value="yellow">yellow</option>
 <option value="greenyellow">greenyellow</option>
 <option value="chartreuse">chartreuse</option>
</select>
</div>

<!--
<div style ="border: dashed 1px grey; margin: 2px; padding: 2px;">
Incremental search minimum pattern length: 
<select id="realtime" onchange="set_changed()">
 <option value="1">1 char</option>
 <option value="2">2 chars</option>
 <option value="3">3 chars</option>
 <option value="4">4 chars</option>
 <option value="5">5 chars</option>
 <option value="-1">no incremental search</option>
</select>
</div>
-->

<div id="status" style ="margin-left:auto; margin-right:auto; margin: 2px; padding: 2px;">
<button onclick="save_options()" style ="margin-left:auto; margin-right:auto;">Save options</button>
</div>

</div>
</body>
</html>
